Synthesizing Plant Controllers Using Real-time Goals

نویسندگان

  • Michel Barbeau
  • Froduald Kabanza
  • Richard St.-Denis
چکیده

This paper introduces a novel planning method for reactive agents. Our planning method han­ dles, in a single framework, issues from A I , control theory, and concurrency that have so far been considered apart. These issues are mostly control labi l i ty, safety, bounded liveness, and real t ime. Our approach is founded on the supervisory control theory and on Metric Temporal Logic ( M T L ) . The highlights of our method consist of a new technique for incre­ mentally checking M T L goal formulas over se­ quences of states generated by actions and a new method for backtracking during search by taking into account uncontrollable actions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Synthesis of Both the Control Law and Parameters for a Controller for a Three-Lag Plant with Five-Second Delay using Genetic Programming and Simulation Techniques

This paper describes how the process of synthesizing the design of both the topology (control law) and the numerical parameter values (tuning) for a controller can be automated using genetic programming. Genetic programming can be used to automatically make the decisions concerning the total number of signal processing blocks to be employed in a controller, the type of each block, the topologic...

متن کامل

Model-based Verification for Automatic Synthesis of Real-time Controllers Extended Abstract

We have developed a novel technique for automatically synthesizing hard real-time reactive controllers using model-checking verification. Our algorithm builds a controller incrementally, using a timed automaton model to check each partial controller for correctness. The verification model captures both the controller design and the semantics of its execution environment. If the controller is fo...

متن کامل

Synthesizing Controllers from Real-Time Specifications - Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

We present an algorithm for synthesizing real-time controllers specified in a subset of the interval temporal logic duration calculus. The synthesized controllers are given in terms of programmable logic controller (PLC)-automata, which are an abstract description of programs of polling machines. PLCautomata can be implemented directly on PLC’s, a special kind of polling real-time controllers t...

متن کامل

Constrained Controller Design for Real-time Delay Recovery in Metro Systems

This study is concerned with the real-time delay recovery problem in metro loop lines. Metro is the backbone of public transportation system in large cities. A discrete event model for traffic system of metro loop lines is derived and presented. Two effective automatic controllers, linear quadratic regulator (LQR) and model predictive controller (MPC), are used to recover train delays. A newly-...

متن کامل

On Synthesizing Controllers from Bounded-Response Properties

In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under bounded-variability assumptions, deterministic timed automata to which we apply safety synthesis algorithms to derive a controller that satisfies the properties by construction. Some preliminary experimental results are re...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995